Editorial for the Special Issue on Open Problems in Concurrency Theory
نویسندگان
چکیده
منابع مشابه
Editorial for the Special Issue on Open Problems in Concurrency Theory
The research seminar “Open Problems in Concurrency Theory” (OPCT 2014) was a prolific and successful gathering of the leading researchers in concurrency theory aiming to identify the most important open problems in the area. This special issue contains a selected set of papers of the 44 presentations given during the seminar. The meeting was held on 18–21 June 2014 in the Fresco Room of the Uni...
متن کاملEditorial for Special Issue of Microbiota
Editorial for Special Issue of Microbiota Bagher Larijani Professor, Endocrinology and Metabolism Research Center, Endocrinology and Metabolism Clinical Sciences Institute, Tehran University of Medical Sciences, Tehran, Iran
متن کاملEditorial for PEDS special issue on antibodies.
This second annual Special Issue on Antibodies is the result of an increasingly successful partnership between Protein Engineering Design and Selection (PEDS) and The Antibody Society, which adopted PEDS as its official journal. Although important papers in the broad field of engineered antibodies, single-scaffold binding protein and related computational advances appear in PEDS throughout the ...
متن کاملEditorial for Special Issue on Neurodynamics
"Neurodynamics" is an interdisciplinary area of mathematics where dynamical systems theory (deterministic and stochastic) is the primary tool for elucidating the fundamental mechanisms responsible for the behaviour of neural systems (whether biological or synthetic). A meeting on this topic was held at the International Centre for Mathematical Sciences in Edinburgh from March 5-7 in 2012. In th...
متن کاملEditorial for Special Issue on Pervasive Computing
Pervasive (or Ubiquitous) Computing aims to seamlessly integrate computing and communication with our environment so as to make our day-today activities the central focus rather than the computing or communication devices per se. Mark Weiser in his 1991 visionary paper " The Computer for 21st Century " laid the foundations of this field. Last decade has seen a steady increase in the momentum fo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logical and Algebraic Methods in Programming
سال: 2015
ISSN: 2352-2208
DOI: 10.1016/j.jlamp.2015.10.002